大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Design Automation Technical Committee 的图书(共7308本)

Challenge Social Innovation [electronic resource] : Potentials for Business, Social Entrepreneurship, Welfare and Civil Society

0
索取号：
作者：Franz、 Hans-Werner.、Hochgerner、 Josef.、Howaldt、 J眉rgen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Exploring the Abyss of Inequalities [electronic resource] : 4th International Conference on Well-Being in the Information Society, WIS 2012, Turku, Finland, August 22-24, 2012. Proceedings

0
索取号：
作者：Eriksson-Backa、 Kristina.、Luoma、 Annika.、Krook、 Erica.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Design Thinking Business Analysis [electronic resource] : Business Concept Mapping Applied

0
索取号：
作者：Frisendal、 Thomas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Haptic and Audio Interaction Design [electronic resource] : 7th International Conference, HAID 2012, Lund, Sweden, August 23-24, 2012. Proceedings

0
索取号：
作者：Magnusson、 Charlotte.、Szymczak、 Delphine.、Brewster、 Stephen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Coalgebraic Methods in Computer Science [electronic resource] : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 鈥pril 1, 2012, Revised Selected Papers

0
索取号：
作者：Pattinson、 Dirk.、Schr枚der、 Lutz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

VLSI-SoC: Advanced Research for Systems on Chip [electronic resource] : 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers

0
索取号：
作者：Mir、 Salvador.、Tsui、 Chi-Ying.、Reis、 Ricardo.、Choy、 Oliver C. S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Augmented Environments for Computer-Assisted Interventions [electronic resource] : 6th International Workshop, AE-CAI 2011, Held in Conjunction with MICCAI 2011, Toronto, ON, Canada, September 22, 2011, Revised Selected Papers

0
索取号：
作者：Linte、 Cristian A.、Moore、 John T.、Chen、 Elvis C. S.、Holmes、 David R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Cooperative Design, Visualization, and Engineering [electronic resource] : 9th International Conference, CDVE 2012, Osaka, Japan, September 2-5, 2012. Proceedings

0
索取号：
作者：Luo、 Yuhua.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Mathematical Foundations of Computer Science 2012 [electronic resource] : 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings

0
索取号：
作者：Rovan、 Branislav.、Sassone、 Vladimiro.、Widmayer、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Design Thinking Research [electronic resource] : Measuring Performance in Context

0
索取号：
作者：Plattner、 Hasso.、Meinel、 Christoph.、Leifer、 Larry.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Computer Games [electronic resource] : 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers

0
索取号：
作者：Herik、 H. Jaap.、Plaat、 Aske.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Deontic Logic in Computer Science [electronic resource] : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings

0
索取号：
作者：脜gotnes、 Thomas.、Broersen、 Jan.、Elgesem、 Dag.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Progress in VLSI Design and Test [electronic resource] : 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings

0
索取号：
作者：Rahaman、 Hafizur.、Chattopadhyay、 Sanatan.、Chattopadhyay、 Santanu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Computer Aided Verification [electronic resource] : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

0
索取号：
作者：Madhusudan、 P.、Seshia、 Sanjit A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Intelligent Computer Mathematics [electronic resource] : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings

0
索取号：
作者：Jeuring、 Johan.、Campbell、 John A.、Carette、 Jacques.、Reis、 Gabriel.、Sojka、 Petr.、Wenzel、 Makarius.、Sorge、 Volker.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Computer Networks [electronic resource] : 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012. Proceedings

0
索取号：
作者：Kwiecie艅、 Andrzej.、Gaj、 Piotr.、Stera、 Piotr.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.